Видео с ютуба Formalized Mathematics

The dawn of formalized mathematics

Fail Better: What formalized mathematics can teach us about learning

Formalized mathematics and differential topology - Patrick Massot - Lean in Lyon

An introduction to formalized mathematics: why it is interesting? - Part 1

Как читать логические формулы

Automated Mathematical Proofs - Computerphile

Введение в математические доказательства

Prof. Peter Koepke | Formal mathematics and natural language

Basics of Formal Mathematics.

What’s Left for Mathematicians? | Daniel Litt

Computer Science: Finding libraries of formalized mathematics

DeepSeek Prover V2 - AI's New Frontier in Formal Mathematics

[Discrete Mathematics] Formal Languages

OpenAI publishes hundreds of machine-formalized math results, and mathematicians push back

Роль популяризации в будущем математики — Грант Сандерсон

Thomas Hubert | AlphaProof: when reinforcement learning meets formal mathematics

Эдвард Локхарт — Почему искусственному интеллекту необходима формальная математика

Формальное занятие по повторению материала курса математики: Math1152